categorical concepts

См. также в других словарях:

• Categorical logic — is a branch of category theory within mathematics, adjacent to mathematical logic but in fact more notable for its connections to theoretical computer science. In broad terms, categorical logic represents both syntax and semantics by a category,… …   Wikipedia

• Categorical perception — is the perception of different sensory phenomena as being qualitatively,or categorically, different. It is opposed to continuous perception , the perception of different sensory phenomena as being located on a smooth continuum.Categorical… …   Wikipedia

• Categorical imperative — Part of a series on Immanue …   Wikipedia

• Adjoint functors — Adjunction redirects here. For the construction in field theory, see Adjunction (field theory). For the construction in topology, see Adjunction space. In mathematics, adjoint functors are pairs of functors which stand in a particular… …   Wikipedia

• Equivalence of categories — In category theory, an abstract branch of mathematics, an equivalence of categories is a relation between two categories that establishes that these categories are essentially the same . There are numerous examples of categorical equivalences… …   Wikipedia

• ultimate — 1 *last, latest, final, terminal, concluding, eventual 2 Ultimate, absolute, categorical, despite great differences in implications, mean in common so fundamental as to represent the extreme limit of actual or possible knowledge. Something… …   New Dictionary of Synonyms

• Functor — For functors as a synonym of function objects in computer programming to pass function pointers along with its state, see function object. For the use of the functor morphism presented here in functional programming see also the fmap function of… …   Wikipedia

• Walter Burley, Peter Aureoli and Gregory of Rimini — Stephen Brown THE END OF THE GREAT ERA Immediately after the glorious age of Bonaventure and Thomas Aquinas, the University of Paris, as we have seen, had a number of outstanding teachers. Henry of Ghent, following in the path of Bonaventure, was …   History of philosophy

• Kernel (category theory) — In category theory and its applications to other branches of mathematics, kernels are a generalization of the kernels of group homomorphisms and the kernels of module homomorphisms and certain other kernels from algebra. Intuitively, the kernel… …   Wikipedia

• Product category — In the mathematical field of category theory, the product of two categories C and D , denoted nowrap| C × D and called a product category, is a straightforward extension of the concept of the Cartesian product of two sets.DefinitionThe product… …   Wikipedia

• logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium